Primitive_Rules 9,38
nuprl primitive rules

NIL

origin